Language in Action demonstrates the viability of mathematical research into the foundations of categorial grammar, a topic at the border between logic and linguistics. Since its initial publication it has become the classic work in the foundations of categorial grammar. A new introduction to this paperback edition updates the open research problems and records relevant results through pointers to the literature. Van Benthem presents the categorial processing of syntax and semantics as a central component in a more general (...) dynamic logic of information flow, in tune with computational developments in artificial intelligence and cognitive science. Using the paradigm of categorial grammar, he describes the substructural logics driving the dynamics of natural language syntax and semantics. This is a general type-theoretic approach that lends itself easily to proof-theoretic and semantic studies in tandem with standard logic. The emphasis is on a broad landscape of substructural categorial logics and their proof-theoretical and semantic peculiarities. This provides a systematic theory for natural language understanding, admitting of significant mathematical results. Moreover, the theory makes possible dynamic interpretations that view natural languages as programming formalisms for various cognitive activities. (shrink)

Originally published in 1973, this book shows that methods developed for the semantics of systems of formal logic can be successfully applied to problems about the semantics of natural languages; and, moreover, that such methods can take account of features of natural language which have often been thought incapable of formal treatment, such as vagueness, context dependence and metaphorical meaning. Parts 1 and 2 set out a class of formal languages and their semantics. Parts 3 and 4 (...) show that these formal languages are rich enought to be used in the precise description of natural languages. Appendices describe some of the concepts discussed in the text. (shrink)

Although the two volumes of _Logic, Language, and Meaning_ can be used independently of one another, together they provide a comprehensive overview of modern logic as it is used as a tool in the analysis of natural language. Both volumes provide exercises and their solutions. Volume 1, _Introduction to Logic_, begins with a historical overview and then offers a thorough introduction to standard propositional and first-order predicate logic. It provides both a syntactic and a semantic (...) approach to inference and validity, and discusses their relationship. Although language and meaning receive special attention, this introduction is also accessible to those with a more general interest in logic. In addition, the volume contains a survey of such topics as definite descriptions, restricted quantification, second-order logic, and many-valued logic. The pragmatic approach to non-truthconditional and conventional implicatures are also discussed. Finally, the relation between logic and formal syntax is treated, and the notions of rewrite rule, automation, grammatical complexity, and language hierarchy are explained. (shrink)

I argue for a version of logical pluralism based on the plurality of legitimate formalizations of the logical vocabulary. In particular, I argue that the apparent rivalry between classical and relevant logic can be resolved, given that both logics capture and formalize normative and legitimate senses of logical consequence: classical logic encodes “follows from” as truth preservation and captures the truth conditions of the logical constants, while relevant logic encodes a notion of “follows from” which, apart from (...) preserving truth, avoids the violation of certain Gricean maxims and captures a different inferential role for the same logical constants, enriching their meaning pragmatically. (shrink)

Formal languages are widely regarded as being above all mathematical objects and as producing a greater level of precision and technical complexity in logical investigations because of this. Yet defining formal languages exclusively in this way offers only a partial and limited explanation of the impact which their use actually has. In this book, Catarina Dutilh Novaes adopts a much wider conception of formal languages so as to investigate more broadly what exactly is going on when theorists put these (...) tools to use. She looks at the history and philosophy of formal languages and focuses on the cognitive impact of formal languages on human reasoning, drawing on their historical development, psychology, cognitive science and philosophy. Her wide-ranging study will be valuable for both students and researchers in philosophy, logic, psychology and cognitive and computer science. (shrink)

Children learn their native language by exposure to their linguistic and communicative environment, but apparently without requiring that their mistakes be corrected. Such learning from “positive evidence” has been viewed as raising “logical” problems for language acquisition. In particular, without correction, how is the child to recover from conjecturing an over-general grammar, which will be consistent with any sentence that the child hears? There have been many proposals concerning how this “logical problem” can be dissolved. (...) In this study, we review recent formal results showing that the learner has sufficient data to learn successfully from positive evidence, if it favors the simplest encoding of the linguistic input. Results include the learnability of linguistic prediction, grammaticality judgments, language production, and form-meaning mappings. The simplicity approach can also be “scaled down” to analyze the learnability of specific linguistic constructions, and it is amenable to empirical testing as a framework for describing human language acquisition. (shrink)

Wittgenstein’s language games can be put into a wider service by virtue of elements they share with some contemporary opinions concerning logic and the semantics of computation. I will give two examples: manifestations of language games and their possible variations in logical studies, and their role in some of the recent developments in computer science. It turns out that the current paradigm of computation that Girard termed Ludics bears a striking resemblance to members of (...) class='Hi'>language games. Moreover, the kind of interrelations that are emerging could be scrutinised from the viewpoint of logic that virtually necessitates game-theoretic conceptualisations, demonstrating the fact that the meaning of utterances may, in many situations, be understood as Wittgenstein’s language games of ‘showing or telling what one sees’. This provides motivation for the use of games in relation to logic and formal semantics that some commentators have called for. Many of the ideas can be traced to C.S. Peirce, for whom signs were vehicles of strategic communication. The conclusion about Wittgenstein is that the notions of saying and showing converge in his late philosophy. (shrink)

__Language Proof and Logic_ is available as a physical book with the software included on CD and as a downloadable package of software plus the book in PDF format. The all-electronic version is available from Openproof at ggweb.stanford.edu._ The textbook/software package covers first-order language in a method appropriate for first and second courses in logic. An on-line grading services instantly grades solutions to hundred of computer exercises. It is designed to be used by philosophy instructors teaching a (...) class='Hi'>logic course to undergraduates in philosophy, computer science, mathematics, and linguistics. Introductory material is presented in a systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates to a first graduate logic course. The software package includes four programs: Tarski's World 5.0, a new version of the popular program that teaches the basic first-order language and its semantics; Fitch, a natural deduction proof environment for giving and checking first-order proofs; Boole, a program that facilitates the construction and checking of truth tables and related notions ; Submit, a program that allows students to submit exercises done with the above programs to the Grade Grinder, the automatic grading service. Grade reports are returned to the student and, if requested, to the student's instructor, eliminating the need for tedious checking of homework. All programs are available for Windows, Macintosh and Linux systems. Instructors do not need to use the programs themselves in order to be able to take advantage of their pedagogical value. More about the software can be found at lpl.stanford.edu. The price of a new text/software package includes one Registration ID, which must be used each time work is submitted to the grading service. Once activated, the Registration ID is not transferable. (shrink)

This textbook/software package covers first-order language in a method appropriate for first and second courses in logic. The unique on-line grading services instantly grades solutions to hundred of computer exercises. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics. The book is a completely rewritten and much improved version of The Language of First-order Logic. Introductory material is presented in a (...) more systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates to a first graduate logic course. The package includes four pieces of software: Tarski's World 5.0, a new version of the popular program that teaches the basic first-order language and its semantics; Fitch, a natural deduction proof environment for giving and checking first-order proofs; Boole, a program that facilitates the construction and checking of truth tables and related notions ; Submit, a program that allows students to submit exercises done with the above programs to the Grade Grinder, the automatic grading service. Grade reports are returned to the student and, if requested, to the student's instructor, eliminating the need for tedious checking of homework. All programs are available for Windows, Macintosh and Linux systems. Instructors do not need to use the programs themselves in order to be able to take advantage of their pedagogical value. More about the software can be found at lpl.stanford.edu. The price of a new text/software package includes one Registration ID, which must be used each time work is submitted to the grading service. Once activated, the Registration ID is not transferable. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy, Psychiatry, & Psychology 9.2 (2002) 131-136 [Access article in PDF] Language, Logic, and Recovery:A Commentary on van Staden Paul Falzer and Larry Davidson Keywords: analytic philosophy, experience, Frege, ordinary language, psychosis, psychotherapy. VAN STADEN'S PAPER, "Linguistic Markers of Recovery," takes on a formidable task. As he explains it, findings from a previously conducted empirical study suggest that recovery from a psychiatric condition can be predicted (...) by certain patterns of first person pronoun usage. His current paper explains how these patterns follow the mathematical logic of Gottlob Frege. van Staden's attempt to systematize the link between language and treatment outcome shows promise. We want to support his effort by raising a few caveats about the application of foundational systems in psychiatry and psychology, particularly the advisability of employing a logical system to explain recovery from mental illness. Along the way, we will be identifying related issues that the author may elect to take up in his future work.van Staden's proposal is inspired by Frege's logical system, but the paper is, at the very least, an innovative adaptation. There are various points where we are left to wonder just how much of this proposal is really Frege's. Nevertheless, the genesis of van Staden's ideas is so dependent that one would expect a fuller account of Frege's pivotal role in the development of modern logic, how his work precipitated what is known commonly as the linguistic turn, and why a logical system that was so well received when first articulated was eclipsed so quickly by Russell's Principia (1963) and Wittgenstein's Tractatus. (1981) These issues can be addressed separately and perhaps they should, because lacking an account of how Frege's philosophy developed and evolved makes the presentation appear somewhat sketchy and incomplete.Frege is portrayed in philosophical lore as the founder of modern logic and a pioneer of the movement that later became known as analytic philosophy. Dummett (1991) regards Frege's Foundations of Arithmetic (1968) as analytical philosophy's first work (p. 111). According to Quine (1955), "All modern logic owes an incalculable debt to Frege. If anyone can be singled out as the founder of mathematical logic, it is by all odds he" (p. 158). Rorty (1967) notes that analytic philosophy's tack of construing philosophical questions as turning on language use and construction challenges the entire tradition, from Parmenides forward. However, the challenge reaches fruition not in Frege, but in works of Moore, Wittgenstein, and Austin. Rather than [End Page 131] sharing the limelight with the great analytic philosophers, Frege has become somewhat of a peripheral figure, whose contribution is usually portrayed as transitional. In some respects, analytic philosophy was moving against Frege's, and later, Russell's logical systems as it was concomitantly countering the various strands of idealism expounded principally by Bradley and McTaggart (see Hacker 1996, 5-12). Almost from the outset, Fregean logic was caught in a cross fire, and the author is obligated to tell us why we should be attending to the pristine version and not the more fully developed approaches that came soon after.Such a justification undoubtedly would begin with the dictum most central to Frege's philosophical thought, that propositions are primary. For Kemp (1998), this declaration carries two interrelated implications: Logical propositions are the real bearers of truth and falsity, and reasoning is a movement from one judgment to another (see p. 218). Frege posits that propositions are independent of mind, grammar, and language use. Knowledge and cognition are embodied in, but do not predicate, judgment. Frege adamantly rejects the notion that philosophical concepts are grounded in psychological phenomena, such as perception, sense impression, and some traditional accounts of meaning. This is the doctrine known as psychologism, and Frege abjures the suggestion that psychology can contain the sciences or adjudicate their findings (Frege 1956; for a discussion of this doctrine, see Notturno 1989; Davidson 1988; Davidson and Cosgrove 1991). The dictum that propositions are primary dispels the commonly held idea that reasoning begins with perception and proceeds... (shrink)

The Liar paradox arises when we consider a sentence that says of itself that it is not true. If such self-referential sentences exist? and examples like?This sentence is not true? certainly suggest this?, then our logic and standard notion of truth allow to infer a contradiction: The Liar sentence is true and not true. What has gone wrong? Must we revise our notion of truth and our logic? Or can we dispel the common conviction that there are such (...) self-referential sentences? The present study explores the second path.0After comparing the Liar reasoning in formal and informal logic and showing that there are no Gödelian Liar sentences, the study moves on from the semantics of self-reference to the metaphysics of expressions and proposes a novel solution to the Liar paradox: Meaningful expressions are distinct from their syntactic bases and exist only relative to contexts. Detailed semantico-metaphysical arguments show that in this dynamic setting, an object can be referred to only after it has started to exist. Hence the circular reference needed in the Liar paradox cannot occur, after all. As this solution is contextualist, it evades the expressibility problems of other proposals. (shrink)

Hybrid languages have both modal and first-order characteristics: a Kripke semantics, and explicit variable binding apparatus. This paper motivates the development of hybrid languages, sketches their history, and examines the expressive power of three hybrid binders. We show that all three binders give rise to languages strictly weaker than the corresponding first-order language, that full first-order expressivity can be gained by adding the universal modality, and that all three binders can force the existence of infinite models and have (...) undecidable satisfiability problems. (shrink)

Science studies not only material entities and phenomena, but their reflections in the minds of men, in the form of sensations, perceptions, concepts, and the like. The study of a phenomenon like language involves simultaneous examinations of material entities and the aspect of language which pertains to meaning, which takes shape as a result of man's reflection in cognition of the world around him.

Mr. A. F. Bentley in his Linguistic Analysis of Mathematics has attacked the problem of the “embedding language” of mathematics; “This essay” we read in the Foreword, “deals with the language of mathematics, including not only the mathematical symbols, but also those immediately surrounding forms of expressions and assertions through which the symbols are developed, communicated and interpreted. The writer seeks to establish a firm construction for this embedding language.” Inevitably, in the first instance this embedding (...) class='Hi'>language must be, as he puts it, “every-day language”; but this is sadly inadequate: “The every-day language reeks with philosophies—the absolutisms of pointing. It shatters at every touch of advancing knowledge. At its heart is paradox… Mathematicians know this. Yet they feel ever the compulsion to interpret their mathematics in terms of every-day language. So proceeding, their harvest is super-paradox.” Yet the writer recognizes after all that “every-day language is the basal medium of communication between men,” even when we seek to “extend standards of symbolic consistency into the regions of the embedding language.”. (shrink)

Quantification is a topic which brings together linguistics, logic, and philosophy. Quantifiers are the essential tools with which, in language or logic, we refer to quantity of things or amount of stuff. In English they include such expressions as no, some, all, both, many. Peters and Westerstahl present the definitive interdisciplinary exploration of how they work - their syntax, semantics, and inferential role.

Since the revolution in philosophic method that began about a century ago, the focus of philosophic attention has been on language as used both in daily conversation and in specialized institutional activities such as science, law, and the arts. But language is an extremely complex and varied means of communication, and the study of it has been increasingly incorporated into such empirical disciplines as linguistics, psycho linguistics, and cognitive psychology. It is becoming less clear what aspects of (...) class='Hi'>language remain as proper subjects of philosophical study, what are to be "kicked upstairs" (J. L. Austin's phrase) to the sciences. This work is a study of those logical features of language that remain central to philosophy after completion of kicking up. It conducts this study by describing similarities and differences between signs at differing levels, starting with natural events as primitive signs in the environments of their interpreters, and proceeding to pre linguistic signaling systems, elementary forms of language, and finally to the forms of specialized discourse used within social institutions. The investiga tion of comparative features requires isolating basic mental capacities that are present in the most primitive forms of organisms capable of sign interpretation. The problem then becomes one of tracing the emergence from these capacities of such categories as substance, attribute or quality, and quantity that we apply to natural languages. The study of sign levels is thus the construction of a genealogy of logical categories marking the develop ment of natural languages. (shrink)

Three fundamental forms of semiotic process (reference, addressing, and intentionality) are presented and their relations to language explained. After that, the fundamental inference forms (formal deduction, induction, and abduction) are presented and their connections with semiosis shown. Finally, we show some important differences between semiosis and inference, and propose to see information processing as a dynamical attractor of inference.

The essays in this collection are by some of the leading figures in their fields and they touch on the most recent turnings in Quine's work.

Chinese Chan or Zen Buddhism is renowned for its improvisational, atypical, and perplexing use of words. In particular, the tradition’s encounter dialogues, which took place between Chan masters and their interlocutors, abound in puzzling, astonishing, and paradoxical ways of speaking. In this chapter, we are concerned with Chan’s use of paradoxical language. In philosophical parlance, a linguistic paradox comprises the confluence of opposite or incongruent concepts in a way that runs counter to our common sense and ordinary rational (...) thinking. One naturally wonders about Chan masters’ rationales for their use of paradox. There are also concerns about whether the use violates the logical principle of noncontradiction to the effect that nothing can be both P and not-P all over in the same way at the same time. Chan became a viable Chinese Buddhist tradition during the Tang dynasty (618−907) and continued to develop for several centuries. The tradition had produced a huge literature; consequently, our investigation of its use of paradox cannot but be limited and selective. In the second section, I first sketch key ideas of Chan that are pertinent to our investigation and then examine the use of paradox in the sermons associated with certain Tang masters of the southern Chan. In the third section, I analyze the presence of paradoxical language in post-Tang encounter dialogues. The fourth section concludes. (shrink)

In the Arabic eleventh century, scholars were intensely preoccupied with the way that language generated truth and beauty. Their work in poetics, logic, theology, and lexicography defined the intellectual space between God and the poets. In Language Between God and the Poets, Alexander Key argues that ar-Raghib al-Isfahani, Ibn Furak, Ibn Sina (Avicenna), and Abd al-Qahir al-Jurjani shared a conceptual vocabulary based around the words ma'na and haqiqah. They used this vocabulary to build theories of (...) class='Hi'>language, mind, and reality that answered perennial questions: how to structure language and reference, how to describe God, how to construct logical arguments, and how to explain poetic affect."--Provided by publisher. (shrink)

Does general validity or real world validity better represent the intuitive notion of logical truth for sentential modal languages with an actuality connective? In (Philosophical Studies 130:436–459, 2006) I argued in favor of general validity, and I criticized the arguments of Zalta (Journal of Philosophy 85:57–74, 1988) for real world validity. But in Nelson and Zalta (Philosophical Studies 157:153–162, 2012) Michael Nelson and Edward Zalta criticize my arguments and claim to have established the superiority of real world validity. Section 1 (...) of the present paper introduces the problem and sets out the basic issues. In Sect. 2 I consider three of Nelson and Zalta’s arguments and find all of them deficient. In Sect. 3 I note that Nelson and Zalta direct much of their criticism at a phrase (‘true at a world from the point of view of some distinct world as actual’) I used only inessentially in Hanson (Philosophical Studies 130:436–459, 2006), and that their account of the philosophical foundations of modal semantics leaves them ill equipped to account for the plausibility of modal logics weaker than S5. Along the way I make several general suggestions for ways in which philosophical discussions of logical matters–especially, but not limited to, discussions of truth and logical truth for languages containing modal and indexical terms–might be facilitated and made more productive. (shrink)

The chapters in this timely volume aim to answer the growing interest in Arthur Schopenhauer’s logic, mathematics, and philosophy of language by comprehensively exploring his work on mathematical evidence, logic diagrams, and problems of semantics. Thus, this work addresses the lack of research on these subjects in the context of Schopenhauer’s oeuvre by exposing their links to modern research areas, such as the “proof without words” movement, analytic philosophy and diagrammatic reasoning, demonstrating its continued relevance to (...) current discourse on logic. -/- Beginning with Schopenhauer’s philosophy of language, the chapters examine the individual aspects of his semantics, semiotics, translation theory, language criticism, and communication theory. Additionally, Schopenhauer’s anticipation of modern contextualism is analyzed. The second section then addresses his logic, examining proof theory, metalogic, system of natural deduction, conversion theory, logical geometry, and the history of logic. Special focus is given to the role of the Euler diagrams used frequently in his lectures and their significance to broader context of his logic. In the final section, chapters discuss Schopenhauer’s philosophy of mathematics while synthesizing all topics from the previous sections, emphasizing the relationship between intuition and concept. -/- Aimed at a variety of academics, including researchers of Schopenhauer, philosophers, historians, logicians, mathematicians, and linguists, this title serves as a unique and vital resource for those interested in expanding their knowledge of Schopenhauer’s work as it relates to modern mathematical and logical study. (shrink)

It is argued that suitably trained neural language models exhibit key properties of epistemic agency: they hold probabilistically coherent and logically consistent degrees of belief, which they can rationally revise in the face of novel evidence. To this purpose, we conduct computational experiments with rankers: T5 models [Raffel et al. 2020] that are pretrained on carefully designed synthetic corpora. Moreover, we introduce a procedure for eliciting a model’s degrees of belief, and define numerical metrics that measure the extent to (...) which given degrees of belief violate (probabilistic, logical, and Bayesian) rationality constraints. While pretrained rankers are found to suffer from global inconsistency (in agreement with, e.g., [Jang et al. 2021]), we observe that subsequent self-training on auto-generated texts allows rankers to gradually obtain a probabilistically coherent belief system that is aligned with logical constraints. In addition, such self-training is found to have a pivotal role in rational evidential learning, too, for it seems to enable rankers to propagate a novel evidence item through their belief systems, successively re-adjusting individual degrees of belief. All this, we conclude, confirms the Rationality Hypothesis, i.e., the claim that suitable trained NLMs may exhibit advanced rational skills. We suggest that this hypothesis has empirical, yet also normative and conceptual ramifications far beyond the practical linguistic problems NLMs have originally been designed to solve. (shrink)

As the title of the present article shows, it highlights the three philosophically integrated areas – (1) pramāṇa-epistemology (theory of comprehensive knowledge involving both perception and inference), (2) logic (although a part of pramāṇa-epistemology, it has two modes, namely, inductive reasoning and deductive reasoning), and (3) language (or semantics, i.e. the double negation theory of meaning, which falls under inference). These are interconnected as well as overlapping within the Buddhist mainstream tradition of the process philosophy as opposed to (...) the substantialist philosophy. The same is the case with the three celebrated Buddhist thinkers – Vasubandhu, Dignāga (also spelt as Diññāṇa), and Dharmakīrti – who develop their radical and critical views focusing on these areas in historical-cum-philosophical order. It is worth noting that within the same mainstream Buddhist tradition, each one of the three thinkers picks up the problematic issues from their predecessors – from the Buddha to their immediate predecessors respectively – for their solutions against the backdrop of the two conflicting mainstream traditions – Buddhist and non-Buddhist. The central focus of these thinkers is first to identify the crucial issues, doctrinal principles, terminology, and methodology in their own ways and conceptual frameworks, which generate not only the mutual conflicts in the course of dialogues but also strengthen their positions by means of their new radical ideas, innovations, terminologies, methodologies, and doctrinal principles. As a result, the three selected areas and their crucial issues are explained, elaborated, and interpretated for better understanding. All of which are rooted in the Buddha’s path of wisdom, ethics, and liberation from the human predicament (duḥkha-nivṛtti). In this grand project of the deepest concerns, the Buddha utilized multiple strategies like understanding and controlling the problematic nature of the mind (Pāli citta, manasa) and its concomitance (Pāli cetasika, dhammā) by means of the concentrative meditation (Pāli jhāna, Sanskrit (hereafter Skt., dhyāna), cultivation of knowledge (Pāli vijjā, Skt. vidyā) and conduct/moral purity (Pāli caraṇa, Skt. ācaraṇa), destruction of afflictions/defilements (Pāli kilesa, Skt. kleśa), critical and logical thinking with valid arguments, and so on. His disciples also treat him as the possessor of valid method, arguments, meaning, practice, and purpose (Skt. pramāṇabhūta, the term used by Dignāga). He believed in the common humanity as the community of sufferers and the autonomy of every human being (Pāli attakāra), but strongly rejected the hierarchy of humanity on the basis of caste, birth, and dogmatic religious identity. For these reasons, following the Buddha and his celebrated followers like Vasubandhu, Dignāga, and Dharmakīrti, my task in this article is how to clearly and elaborately discuss the above identified issues and theories, first to understand them for myself and then logically prove the whole process of knowledge and the designed purpose through communication to those who have the intention to hear and understand the framework of common language for their benefits. I wish the readers like students and young teachers benefit from my research work. Further, since my learning of the Tibetan language is zero, but comfortable in Sanskrit and Pāli, I have been heavily dependent on three great modern thinkers who have widely written independently and also translated the Buddhist Tibetan texts, which were translated from the original Sanskrit texts now lost, into English in the areas of Buddhist epistemology, logic, and semantics. These modern scholars are Masaaki Hattori, Shoryo Katsura, and Richard Hayes. Besides them, I have also little benefitted from some other scholars who have worked in the same areas. (shrink)

The book is a collection of papers and aims to unify the questions of syntax and semantics of language, which are included in logic, philosophy and ontology of language. The leading motif of the presented selection of works is the differentiation between linguistic tokens (material, concrete objects) and linguistic types (ideal, abstract objects) following two philosophical trends: nominalism (concretism) and Platonizing version of realism. The opening article under the title “The Dual Ontological Nature of Language Signs (...) and the Problem of Their Mutual Relations” provides a broad introduction into the problem area connected with this differentiation, while the logic-formal characteristics of the distinction are framed in the work entitled “On the Type-Token Relationships” (Chapter 1). The basic part of the book deals with issues relating to syntax (Chapters 2-4) and semantics of language (Chapters 5-6), as well as pertaining to syntactic-semantic pragmatic questions (Chapters 7-13). Throughout the book, language, categorial language, is characterized syntactically as generated by classical categorial grammar (Chapter 2) and formalized on two opposing levels: as language of expression-tokens (level of tokens) and language of expression-types (level of types). The author’s considerations contained in Chapters 2 and 4 lead to the important philosophical conclusion that in formal-logical syntactic studies on language the assumption that expression-types constitute the primary language layer while expression-tokens make the secondary one, can be neglected; thus, this speaks in favour of the opposing standpoint—the concretistic one—in the ontology of language syntax. In the works “Meaning and Interpretations”, Parts I and II (Chapters 5 and 6), it is underlined, however, that such semantic concepts as: meaning, denotation and interpretation are defined on the types level, yet their formal definitions require making use of notions of the tokens level. The semantic notions introduced in the above-mentioned articles are also used in the following works of the present selection, under the titles: “Three Principles of Compositionality” and “On Metaknowledge and Truth” (Chapters 7 and 8). They formalize two principles of compositionality that are well known in the literature on the subject, deriving from Frege, i.e. those of meaning and of denotation; they are related to the syntactic principle of compositionality which was introduced by the author. All the three principles are, at the same time, three conditions of homomorphism of categorial language algebra into three kinds of non-standard models of language (one syntactic and two semantic ones: intensional and extensional), which allows introducing three definitions of truthfulness into these models. The next two works in the collection, entitled: “On Language Adequacy” and “What is the Sense in Logic and Philosophy of Language” (Chapters 9 and 10) concern adequacy of categorial language syntax along with its dual semantics: intensional and extensional, and categorial compatibility of any of its syntactic categories with two corresponding semantic categories: intensional and extensional, based on the compatibility the syntactic category of each language expression with the ontological category assigned to its denotatum. The well-known problem of categorial compatibility for first-order quantifiers finds its solution in the paper “Categories of First-Order Quantifiers” (Chapter 11). In the work “Logic and Ontology of Language” (Chapter 12), being in a sense a summary of the considerations presented in the preceding chapters of the book, language is treated as an ontological being, characterized in compliance with the logical conception of language proposed by Ajdukiewicz. Application—like throughout the book—of tools of classical logic and set theory has resulted in emergence of a general formal logical theory of syntax, semantics and pragmatics of language, which takes into account duality in the understanding of linguistic expressions as tokens (concretes) and types (abstract objects). In terms that take into account a functional approach to language itself, there comes out an ontological neutrality of logic with respect to existential assumptions relating to the ontological nature of linguistic expressions and their extra-linguistic ontological counterparts. The issues connected with applying logic while explaining the manner of using linguistic tokens and linguistic types to determine notions of language communication are raised and illustrated in the last chapter of the work, bearing the title “A Logical Conceptualization of Knowledge on the Notion of Language Communication”. (shrink)

Understanding is a ‘language event’ founded upon a ‘silent agreement’ between participants in a conversation. This silent agreement, built up of conversational aspects held in common, is what makes social solidarity possible and shows that the methods of science are an inappropriate starting point for our self-understanding. However, with the advent of industrial technical civilization, the question arises whether understanding has come under the control of a centrally steered communication system where language is a consciously wielded instrument of (...) politics with a corresponding loss of free insight and critical judgement. Only via a hermeneutic logic of words, which begins from recognition that words get their meaning from the open space of living conversation, can critical judgement be defended in the face of the authority of science and technology. (shrink)

Wittgenstein explores learning through practice in the Philosophical Investigations by means of an extended analogy with games. However, does this concern with learning also necessarily extend to education, in our institutional understanding of the word? While Wittgenstein's examples of language learning and use are always shared or social, he does not discuss formal educational institutions as such. He does not wish to found a ‘school of thought’, and is suspicious of philosophy acting as a theory that can be applied (...) to other areas of life. While Wittgenstein's focus on developing independent thinking was neither individualistic nor anti-institutional, it did, however, focus on developing the thinking of his students rather than theorising about how this could be applied on a large scale. An analysis of Hermann Hesse's novel, The Glass Bead Game will help us to pick up where Wittgenstein deliberately left off—thinking about how (or if) one can institutionalise learning methods that encourage thinking for oneself. These differences in the writers’ treatment of education will become evident in the differences between their game analogies. While language-games combat our ‘craving for generality’ in Philosophical Investigations, the Glass Bead Game represents this craving, and how it manifests itself throughout history in disciplines other than logic and philosophy of language. It also represents the potential for institutions to become insular, exclusive communities. (shrink)

This book presents a new theory of the relationship between vagueness, context-sensitivity, gradability, and scale structure in natural language. Heather Burnett argues that it is possible to distinguish between particular subclasses of adjectival predicatesDLrelative adjectives like tall, total adjectives like dry, partial adjectives like wet, and non-scalar adjectives like hexagonalDLon the basis of how their criteria of application vary depending on the context; how they display the characteristic properties of vague language; and what the properties of (...) class='Hi'>their associated orders are. It has been known for a long time that there exist empirical connections between context-sensitivity, vagueness, and scale structure; however, a formal system that expresses these connections had yet to be developed. This volume sets out a new logical system, called DelTCS, that brings together insights from the Delineation Semantics framework and from the Tolerant, Classical, Strict non-classical framework, to arrive at a full theory of gradability and scale structure in the adjectival domain. The analysis is further extended to examine vagueness and gradability associated with particular classes of determiner phrases, showing that the correspondences that exist between the major adjectival scale structure classes and subclasses of determiner phrases can also be captured within the DelTCS system. (shrink)

Recent work in natural language semantics leads to some new observations on generalized quantifiers. In § 1 we show that English quantifiers of type $ $ are booleanly generated by their generalized universal and generalized existential members. These two classes also constitute the sortally reducible members of this type. Section 2 presents our main result--the Generalized Prefix Theorem (GPT). This theorem characterizes the conditions under which formulas of the form Q1x 1⋯ Qnx nRx 1⋯ xn and q1x 1⋯ (...) qnx nRx 1⋯ xn are logically equivalent for arbitrary generalized quantifiers Qi, qi. GPT generalizes, perhaps in an unexpectedly strong form, the Linear Prefix Theorem (appropriately modified) of Keisler & Walkoe (1973). (shrink)

The Query is reasonable (First Order) Predicate Logic (PL:) is a ”Universal Grammar" for the languages of Elementary Arithmetic, Euclidean Geometry, Set Theory, Boolean Algebra, .... It defines their expressions, their semantic interpretations, and texts, called proofs, that syntactically characterize the boolean semantic entailment relation: P entails Q iff Q is true whenever P is.

Independence Friendly Logic, introduced by Hintikka, is a logic in which a quantifier can be marked for being independent of other quantifiers. Dependence logic, introduced by Väänänen, is a logic with the complementary approach: for a quantifier it can be indicated on which quantifiers it depends. These logics are claimed to be useful for many phenomena, for instance natural language semantics. In this contribution we will compare these two logics by investigating their application in (...) a compositional analysis of the de dicto - de re ambiguity in natural language. It will be argued that Independence Friendly logic is suitable, whereas Dependence Logic is not. (shrink)

The European Summer Schools in Logic, Language and Information (ESSLLI) have been organised every year since 1989 under the auspices of the Association for Logic, Language and Information (FoLLI) in different cities around Europe. The 24th European Summer School in Logic, Language and Information (ESSLLI 2012) took place at the University of Opole, Poland, during August 6-17, 2012. The organisation committee was chaired by Janusz Czelakowski and Urszula Wybraniec-Skardowska (Institute of Mathematics and Informatics, University (...) of Opole) and the programme committee was chaired by Andreas Herzig (University of Toulouse and CNRS). During two weeks, over 340 participants from 36 countries were offered a rich academic program of their choice from 9 foundational, 16 introductory and 17 advanced courses and 6 workshops. Just as in the previous years, the 17th conference on Formal Grammar collocated with ESSLLI. Besides the regular courses, a traditional highlight of the summer school were the 4 evening lectures by distinguished academics: - Johan van Benthem (Institute for Logic, Language & Computation (ILLC), Amsterdam and Department of Philosophy, Stanford University), "Computation as Agency''; - Melvin Fitting (Department of Mathematics and Computer Science, City University of New York), "Reasoning About Games''; - Jonathan Ginzburg (UFR Études anglophones, Université Paris-Diderot (Paris 7)), "False starts, jokes, and music:semantics in the 21st century''; - Adam Przepiórkowski (Institute of Computer Science, Polish Academy of Sciences, Warsaw), "Secret life of corpora''. Another traditional event was the student session, organised by a student programme committee chaired by Rasmus K. Rendsvig (University of Copenhagen): master and doctoral students presented 16 papers and 5 posters, and Michał Zawidzki obtained the best paper award and Raul Fervari obtained the best poster award. Moreover, the Beth Dissertation Prizes were announced at the FoLLI General Meeting and went to Andreas Kapsner (University of Barcelona) and Daniel R. Licata (Carnegie Mellon University). Apart from the busy academic programme, participants of the summer school were offered an exciting social program as well. In addition to the traditional ESSLLI Party and the famous Students vs. Lecturers Soccer Match (also called `Johan van Benthem Cup'), kayaking, and excursions to Kraków and Wrocław were offered. -/- . (shrink)

Ludwig Wittgenstein's interest in the writings of Rabindranath Tagore, is recognized among scholars worldwide though little has been written on his fascination with Tagore's poetry and symbolic plays. In Language, Limits, and Beyond, Priyambada Sarkar explores Tagore and Wittgenstein's philosophical arguments on the concept of 'threshold of language and meaning', highlighting the systematic connections between Tagore's canon and Wittgenstein's early works. Situatingher study in the early 1900s, when Tagore's poetry had just become available in Europe, Sarkar finds similarities (...) between Tagore's and Wittgenstein's exploration of the limits of language. She argues that Wittgenstein's early philosophy can be better understood when juxtaposed with Tagore.Drawing parallels between the worlds of philosophy and poetry, Sarkar identifies the point of convergence of their two philosophies in the realm of language, tracing how they reach surprisingly similar conclusions through entirely different paths of inquiry. Sarkar finally claims that such important points of contact will help one to arrange the pieces of the Tractarian jigsaw puzzle in a manner where all the pieces of logic, language, world, and the mystical will fall into place and form acoherent picture. (shrink)

Is medieval logic formal? And if yes, in what sense? There are striking affinities between medieval and contemporary theories of language. Authors from the two periods share formal ambitions and maintain complex, and at time uneasy, relations with natural language. However, modern scholars became careful not to overlook the specificities of theories developed more than five hundred years apart, in particular with respect to their 'formal' character. In 1972, Alfonso Maieru noted that the efforts of medieval (...) logicians to identify logical structures in language which are formal enough to become objects of scientific consideration. He also stressed that the language investigated is a historical one, Latin, so that one can legitimately wonder to which extent... one is allowed to speak of 'formal logic' in the middle ages. In other words, medieval logic is characterized by a tension between 'formalist ambitions' and constraints proper to natural language. Today, our knowledge of the field has considerably expanded, calling for a new assessment of the question. (shrink)

Christiansen & Chater (C&C) focus solely on general-purpose cognitive processes in their elegant conceptualization of language evolution. However, numerous developmental facts attested in L1 acquisition confound C&C's subsequent claim that the logical problem of language acquisition now plausibly recapitulates that of language evolution. I argue that language acquisition should be viewed instead as a multi-layered construction involving the interplay of general and domain-specific learning mechanisms.

Much contemporary philosophical debate centres on the topics of logic, thought and language, and on the connections between these topics. This collection of articles is based on the Royal Institute of Philosophy's annual lecture series for 2000–2001. Its contributors include a number of those working at the forefront of the field, and in their papers they reflect their own current pre-occupations. As such, the volume will be of interest to all philosophers, whether their own work (...) is within the areas of language and thought or not. (shrink)

We begin with the following quotation from Karp [1964]: My interest in infinitary logic dates back to a February day in 1956 when I remarked to my thesis supervisor, Professor Leon Henkin, that a particularly vexing problem would be so simple if only I could write a formula which would say x = 0 or x = 1 or x = 2 etc. To my surprise, he replied, "Well, go ahead." Traditionally, expressions in formal systems have been regarded as (...) signifying finite inscriptions which are—at least in principle—capable of actually being written out in primitive notation. However, the fact that (first-order) formulas may be identified with natural numbers (via "Gödel numbering") and hence with finite sets makes it no longer necessary to regard formulas as inscriptions, and suggests the possibility of fashioning "languages" some of whose formulas— such as that in the above quotation—would be naturally identified as infinite sets. A "language" of this kind is called an infinitary language: in this article we discuss those infinitary languages which can be obtained in a straightforward manner from first-order languages by allowing conjunctions, disjunctions and, possibly, quantifier sequences, to be of infinite length. In the course of the discussion we shall see that, while the expressive power of such languages far exceeds that of their finitary (first-order) counterparts, very few of them possess the "attractive" features (e.g., compactness and completeness) of the latter. Accordingly, the infinitary languages that do in fact possess these features merit special attention. In §1 we lay down the basic syntax and semantics of infinitary languages and demonstrate their expressive power by means of examples. §2 is devoted to those infinitary languages which permit only finite quantifier sequences: these languages turn out to be relatively well-behaved. In §3 we discuss the compactness problem for infinitary languages and its.. (shrink)

In the study of human thought there could hardly be a more fundamental con cern than language and reasoning. In the tradition of Western philosophy, humans are distinguished by their ability to speak and to think rationally. And language is often considered a prerequisite for rational thought. If psycholoQists, then, are ever to discover what is truly human about their species, they will have to discover how language is produced and understood, and how it plays (...) a role in reasoning and other forms of rational thought. Within psychology there has been an imperative to study language and rea soning together. Since Wundt, psychologists have succeeded in building a the oretical foundation for both language and reasoning. What has become clear from these beginnings is that the two are inextricably bound to each other. Like the two players ina chess game, take away one of them and the game no longer exists. On the one hand, producing and understanding speech re quires an intricate process of reasoning. Speakers must rationally choose sentences that will affect their listeners in ways they intend, and listen ers must infer what speakers could conceivably have meant in selecting the sentences they did. Reasoning, inference, and rational thought lie at the very center of speaking and listening. On the other hand, logical reasoning begins with, and is influenced by, the language in which a problem is stated. (shrink)

THE FIRST PART OF MY RESPONSE to the commentaries on my earlier paper is about the place of language and logical systems in the understanding of the personal positions that recovering patients occupy in their life experiences. It includes the main reasons for using Frege's philosophy. Thereafter, I make the point that relational positions in recovery extend broader than positions of actor and patient.

This corpus-based study focuses on the revival of the geopolitical struggle in Africa between the U.S. and Russia (Stronski, 2019; Cohen, 2020). I investigate a corpus of speeches given by the Russian Foreign Minister Sergey Lavrov and the U.S. Secretary of State Anthony Blinken during their respective visits to Africa in July and August 2022. On the one hand, I examine to what extent the two antagonists combine figurative language with various discursive and psycho-cognitive strategies in order to (...) sustain and convey their ideological standpoint and their geopolitical agenda in Africa. On the other hand, I analyze how they select and construe some particular lexical units and structures, literally or figuratively, for the sake of foregrounding or backgrounding events, participants, and the relationships between them. Finally, based on a sample of reactions to the narratives, section (2.5) deals with their socio-cognitive perceptions by the African leaders and people. (shrink)

A number of general points behind the story of this paper may be worth setting out separately, now that we have come to the end.There is perhaps one obvious omission to be addressed right away. Although the word “information” has occurred throughout this paper, it must have struck the reader that we have had nothing to say on what information is. In this respect, our theories may be like those in physics: which do not explain what “energy” is (a notion (...) which seems quite similar to “information” in several ways), but only give some basic laws about its behaviour and transmission.The eventual recommendation made here has been to use a broad type-theoretic framework for studying various more classical and more dynamic notions of proposition in their interaction. This is not quite the viewpoint advocated by many current authors in the area, who argue for a whole-sale switch from a ‘static’ to a ‘dynamic’ perspective on propositions. This is not the place, however, to survey the conceptual arguments for and against such a more radical move.This still leaves many questions about possible reductions from one perspective to another. For instance, it would seem that classical systems ought to serve as a ‘limiting case’, which should still be valid after procedural details of some cognitive process have been forgotten. There are various ways of implementing the desired correspondence: e.g. by considering extreme cases with ⫅ equal to identity, or, in the pure relational algebra framework by considering only pairs (x, x). What we shall want then are reductions of dynamic logics, in those special cases, to classical logic. But perhaps also, more sophisticated views are possible. How do we take a piece of ‘dynamic’ prose, remove control instructions and the like, and obtain a piece of ‘classical’ text, suitable for inference ‘in the light of eternity’?There is also a more technical side to the matter of ‘reduction’. By now, Logic has reached such a state of ‘inter-translatability’ that almost all known variant logics can be embedded into each other, via suitable translations. In particular, once an adequate semantic has been given for a new system, this usually induces an embedding into standard logic: as we know, e.g., for the case of Modal Logic. Like-wise, all systems of dynamic interpretation or inference proposed so far admit of direct embedding into an ordinary ‘static’ predicate logic having explicit transition predicates (cf. van Benthem 1988b). Thus, our moral is this. The issue is not whether the new systems of information structure or processing are essentially beyond the expressive resources of traditional logical systems: for, they are not. The issue is rather which interesting phenomena and questions will be put into the right focus by them.The next broad issue concerns the specific use of the perspective proposed here, vis-à-vis concrete proposals for information-oriented or dynamic semantics. The general strategy advocated here is to locate some suitable base calculus and then consider which ‘extras’ are peculiar to the proposal. For instance, this is the spirit in which modal S4 would be a base logic of information models, and intuitionistic logicthe special theory devoting itself to upward persistent propositions. Or, with the examples in Section 4.1, the underlying base logic is our relational algebra, whereas, say, ordinary updates then impose special properties, such as ‘idempotence’: $$xRy \Rightarrow yRy$$ Does this kind of application presuppose the existence of one distinguished base logic, of which all others are extensions? This would be attractive-and some form of relational algebra or linear logic might be a reasonable candidate. Nevertheless, the enterprise does not rest on this outcome. What matters is an increased sensitivity to the ‘landscape’ of dynamic logics, just as with the ‘Categorial Hierarchy’ in Categorial Grammar (cf. van Benthem 1989a, 1991) where the family of logics with their interconnections seems more important than any specific patriarch.Finally, perhaps the most important issue in the new framework is the possibility of new kinds of questions arising precisely because of its differences from standard logic. Notably, given the option of regarding propositions as programs, it will be of interest to consider systematically which major questions about programming languages now make sense inside logic too.EXAMPLE. Correctness. When do we have $$\left[\kern-0.15em\left[ \pi \right]\kern-0.15em\right](\left[\kern-0.15em\left[ A \right]\kern-0.15em\right]) \subseteq \left[\kern-0.15em\left[ B \right]\kern-0.15em\right]$$ for (s, t) propositions A, B and a dynamic (s, (s, t)) proposition π?Program Synthesis. Which dynamic proposition will take us from an information state satisfying A to one satisfying B? (This question needs refinement, lest there be trivial answers.)Determinism. Which propositions as programs are deterministic, in the sense of defining single-valued functions from states to states?Querying. What does it mean to ask for information in the present setting? (Again, individual types referring to e will be crucial here.)This is not merely an agenda for wishful thinking. Within Logic, there are various ways of introducing such concerns into semantics, especially, using tools from Automata Theory. (See van Benthem 1989c for further discussion of such computational perspectives in ‘cognitive programming’.)At least if one believes that ‘dynamics’ is of the essence in cognition (rather than a mere interfacing problem between the halls of eternal truth and the noisy streets of reality), the true test for the present enterprise is the development of a significant new research program not merely copying the questions of old. (shrink)

Wittgenstein’s early philosophy of language is shaped by his attention to Parmenides’ paradox of false propositions and the problem of the unity of the proposition. Wittgenstein (dis)solves these two (pseudo)problems through his discussion of the “internal pictorial relation” between propositions and states of affairs, which is an artifact of language and the world being “constructed according to a common logical pattern” (TLP 4.014). After examining these issues, I argue that this treatment points to a further problem, namely, the (...) question of the agency responsible for this construction, and in the paper I briefly explore this byconsidering a parallel set of problems as they arise for Kant. For Kant, the question is what guarantees that nature conforms to our concepts and their logic, which he answers through his account of the normative authority we exercise in our cognitive activities. Wittgenstein, I argue, faces a parallel question, which he fails to face in his early work, and only begins to address in his later work on rule-following. (shrink)

To make the case for non-conceptualism, Heck draws on an apparent dichotomy between linguistic and iconic representations. According to Heck, whereas linguistic representations have conceptual content, the content of iconic representations is non-conceptual. Based on the case of cartographic systems, the authors criticize Heck’s dichotomous distinction. They argue that maps are composed of semantically arbitrary elements that play different syntactic roles. Based on this, they claim that maps have a predicative structure and convey conceptual content. Finally, the authors argue that, (...) despite their differences, maps and sentences can logically interact with each other through heterogeneous inferences. These considerations not only challenge the view that conceptual content and inferential processes necessarily involve linguistic representations; furthermore, they provide a new perspective for thinking about maps, their semantics and syntax, and their interaction with linguistic systems. (shrink)

Computer-based logic proofs are a form of unnatural language in which the process and structure of proof generation can be observed in considerable detail. We have been studying how students respond to multimodal logic teaching, and performance measures have already indicated that students' pre-existing cognitive styles have a significant impact on teaching outcome. Furthermore, a large corpus of proofs has been gathered via automatic logging of proof development. This paper applies a series of techniques, including corpus statistical (...) methods, to the proof logs. The results indicate that students' cognitive styles influence the structure of their logical discourse, via their differing methods of handling abstract information in diagrams, and transferring information between modalities. (shrink)

The primary function of language is communication. We use the tools of situation theory and game theory to develop a definition and model of communication between rational agents using a shared situated language. ;A central thesis of this dissertation is that the key feature of situated communication that enables agents to derive content from meaning is a special type of logical inference called a strategic inference. ;The model we develop, called the Strategic Discourse Model, looks at a single (...) strategic inference. An essential element of a strategic inference is that the content depends on the sentence uttered and on the embedding circumstances. This includes the private and public information and beliefs of the agents, their goals and intentions, and crucially, the other sentences the speaker might have uttered but chose not to. A complete model of communication involves a system of simultaneous strategic inferences. ;When the strategic interaction between two agents is common knowledge between them, that is, when it is a game, the information transfer is a communication. The content communicated is given by the solution to the game. This analysis formalizes Grice's ideas on nonnatural meaning within a situation-theoretic framework. A consequence of our situated analysis is that agents do not need to have the complex and infinite set of nested intentions postulated by the Gricean approach. A simple intention to communicate is all that is required, the ambient game doing the rest of the work. ;This model has many applications. Problems like resolving ambiguity, determining reference, inferring implicatures and indirect speech acts fall within its scope. As one application, we outline a new theory of names and definite descriptions. This account builds upon Russell and Strawson, and Barwise and Perry. The basic idea is that names and descriptions can both be used in various ways circumscribed by an ontological and a communicative constraint. This offers a new solution to the puzzle of informative identity statements and clarifies the referential-attributive distinction. It suggests an approach to the concept of representation. ;An underlying theme is to synthesize situation theory and game theory. (shrink)

Socializing students to Academic Integrity in the face of great cultural, linguistic and socioeconomic diversity in the student population in higher education calls for innovative strategies that are aligned with equity, diversity and inclusion principles. Through a mixed method of quantitative analysis of learner engagement data from the Learning Management System and analysis of anonymous evaluation survey, along with thematic analysis of students’ open-ended responses in the evaluation survey, the authors explored how students responded to AI Socialization during a 4-week (...) non-credit, online co-curricular program called ‘Reading and Writing Excellence’. Nine groups of undergraduate students from 34 disciplines in different global locations during the COVID-19 pandemic were introduced to a curated set of AI online resources. Through a learner-driven, instructor-facilitated approach the AI Socialization also engaged students in language development and empowered them to communicate about their disciplinary course topics through written journal entries, receiving instructor feedback that increased their cultural and linguistic capital for further academic writing. This approach led to a high volume of written output. Nonparametric ANOVA was used to establish that low-proficiency students were able to produce as much written output as their more proficient peers. Survey results for various aspects important to academic integrity show students’ self-perception of readiness for academic writing: paraphrasing and summarizing ; organization of ideas ; critical thinking ; logic/argument. Insights gained about educative engagement, language development and learner empowerment that can help students from diverse backgrounds to avoid Academic Integrity Violations and gain transformative access and success in higher education are incorporated into a set of recommendations that are applicable to a wide range of teaching contexts. (shrink)

All except three of the papers in this volume were presented at the colloquium on "L'Ontologie formelle aujourd'hui", Geneva, 3-5 June 1988. The three exceptions, the papers by David Armstrong, Uwe Meixner and Wolfgang Lenzen, were presented at the colloquium on "Properties", Zinal, June 1-3, 1990. It was, incidentally, at the second of these two colloquia that the European Society for Analytic Philosophy came into being. The fathers of analytic philosophy - Moore and Russell - were in no doubt that (...) ontology or metaphysics as well as the topics oflanguage, truth and logic constituted the core subject-matter of their "analytic realism", 1 for the task of metaphysics as they conceived things was the description of 2 the world. And logic and ontology are indissolubly linked in the system of the grandfather of analytic philosophy, Frege. After the Golden Age of analytic philosophy - in Cambridge and Austria - opposition to realism as well as the "linguistic turn" contributed for a long time to the eclipse of ontology. 3 Thanks in large measure to the work of some of the senior contributors to the present volume - Roderick Chisholm, Herbert Hochberg, David Armstrong and Karel Lambert - ontology and metaphysics now enjoy once again the central position they occupied some eighty years ago in the heyday of analytic philosophy. (shrink)

The European Summer School in Logic, Language and Information (ESSLLI) takes place every year, each time at a different location in Europe. With its focus on the large interdisciplinary area where linguistics, logic and computation converge, it has become very popular since it started in 1989, attracting large crowds of students. ESSLLI is where everyone in the field meets, teaches, takes courses, gives talks, dances all night, and generally has a good time. One of the enjoyable features (...) of the School is its recurring Student Session, organized by students along the lines of a conference. The speakers are students too, who are eager to get a chance to present their work. They face stiff competition to get their talks accepted, as the number of papers that is sent in each year is high and acceptance rates low. -/- In my experience many of the selected talks contain fresh and surprising insights and are a pleasure to attend. But the reader may judge the quality of the Student Session for himself, as this volume contains a selection of papers from its 2008 and 2009 installments, the first held in Hamburg, the second in Bordeaux. The book is divided into four parts. – Semantics and Pragmatics – Mathematical Linguistics – Applied Computational Linguistics – Logic and Computation -/- The first two of these present work in the intersection of logic (broadly conceived) and different parts of linguistics, the third contains papers on the interface of linguistics and computation, while the fourth, as its name suggests, deals with logic and computation. The reader will see a connection with the Venn diagram that functions as ESSLLI’s logo. (shrink)

Do large language models like Chat-GPT or Claude meaningfully use the words they produce? Or are they merely clever prediction machines, simulating language use by producing statistically plausible text? There have already been some initial attempts to answer this question by showing that these models meet the criteria for entering meaningful states according to metasemantic theories of mental content. In this paper, I will argue for a different approach—that we should instead consider whether language models meet the (...) criteria given by our best metasemantic theories of linguistic content. In that vein, I will illustrate how this can be done by applying two such theories to the case of language models: Gareth Evans’ ( 1982 ) account of naming practices and Ruth Millikan’s ( 1984, 2004, 2005 ) teleosemantics. In doing so, I will argue that it is a mistake to think that the failure of LLMs to meet plausible conditions for mental intentionality thereby renders their outputs meaningless, and that a distinguishing feature of linguistic intentionality—dependency on a pre-existing linguistic system—allows for the plausible result that LLM outputs are meaningful. (shrink)

SummaryCorrectly understood, Wittgenstein's “picture theory of language” is remarkably similar to the basic ideas of a Tarskian‐type logical semantics, except for the crucial Wittgensteinian doctrine that semantical relations can only be shown, not said. This is an instance of the idea van Heijenoort calls “logic as language”.What happens in the transition to Wittgenstein's later philosophy is not that the picture idea is rejected but that a new view of the connections between language and reality is introduced. (...) The basic representative relations between language and the world, which are left unanalyzed in the Tractatus, are now assumed to be created and sustained by different language‐games. The primary function, if not the only one, of Wittgenstein's language‐games is thus to link language to the world.Wittgenstein's persistent attitude of “logic as language” nevertheless led him to claim that language‐games are as ineffable as the naming relations of the Tractatus. For instance, new language‐games cannot be defined by new rules, because games are primary with respect to their rules.The author's semantical games, especially the games of seeking and finding, provide examples to illustrate Wittgenstein's language‐games and also to cast doubt on their ineffability. (shrink)